// 通过 options 参数，我们可以轻松地定制编辑器的行为。
// 下面是一些可以传递给编辑器的配置选项示例。
// 你也可以通过调用 editor.updateOptions 随时更改选项。

var editor = monaco.editor.create(document.getElementById("container"), {
	value: "// First line\nfunction hello() {\n\talert('Hello world!');\n}\n// Last line",
	language: "javascript",

	lineNumbers: "off",
	roundedSelection: false,
	scrollBeyondLastLine: false,
	readOnly: false,
	theme: "vs-dark",
});
setTimeout(function() {
	editor.updateOptions({
		lineNumbers: "on"
	});
}, 2000);
